Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое definite clause - определение
CLAUSE (A DISJUNCTION OF LITERALS) WITH AT MOST ONE POSITIVE, I.E. UNNEGATED, LITERAL
Horn logic; Definite clause; Horn sentence; Horn clauses; Dual-Horn clause; Horn formula; Universal Horn theory; Horn Logic
Найдено результатов: 408
definite clause
<logic> A Horn clause that has exactly one {positive
literal}.
(2000-01-24)
Definite clause grammar
MEANS OF EXPRESSING GRAMMATICAL RELATIONSHIPS
Definite clause grammars; Context-sensitive definite clause grammars
A definite clause grammar (DCG) is a way of expressing grammar, either for natural or formal languages, in a logic programming language such as Prolog. It is closely related to the concept of attribute grammars / affix grammars from which Prolog was originally developed.
Horn clause
<logic> A set of atomic literals with at most one {positive
literal}. Usually written
L < - L1, ..., Ln
or
< - L1, ..., Ln
where n >= 0, " < - " means "is implied by" and comma stands for
conjuction ("AND"). If L is false the clause is regarded as
a goal. Horn clauses can express a subset of statements of
first order logic.
The name "Horn Clause" comes from the logician Alfred Horn,
who first pointed out the significance of such clauses in
1951, in the article "On sentences which are true of direct
unions of algebras", Journal of Symbolic Logic, 16, 14-21.
A definite clause is a Horn clause that has exactly one
positive literal.
(2000-01-24)
Horn clause
In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for use in logic programming, formal specification, and model theory. Horn clauses are named for the logician Alfred Horn, who first pointed out their significance in 1951.
Independent clause
GRAMMATICAL CLAUSE THAT CAN BE A SENTENCE ON ITS OWN
Independent clauses; Main clause; Matrix clause; Principal clause; Main proposition
An independent clause (or main clause) is a clause that can stand by itself as a simple sentence. An independent clause contains a subject and a predicate and makes sense by itself.
Definite description
DENOTING PHRASE IN THE FORM OF "THE X" WHERE X IS A NOUN-PHRASE OR A SINGULAR COMMON NOUN. THE DEFINITE DESCRIPTION IS PROPER IF X APPLIES TO A UNIQUE INDIVIDUAL OR OBJECT
Present King of France; Definite descriptions; Definite descriptor; The present King of France is bald; Iota operator; Definite description theory
In formal semantics and philosophy of language, a definite description is a denoting phrase in the form of "the X" where X is a noun-phrase or a singular common noun. The definite description is proper if X applies to a unique individual or object.
main clause
GRAMMATICAL CLAUSE THAT CAN BE A SENTENCE ON ITS OWN
Independent clauses; Main clause; Matrix clause; Principal clause; Main proposition
¦ noun Grammar a clause that can form a complete sentence standing alone, having a subject and a predicate.
Content clause
CLAUSE ELABORATED BY A MAIN CLAUSE
That-clause; That clause; Declarative content clause; Interrogative content clause; Noun clause; Direct question; Indirect question; Reported question; Speech report
In grammar, a content clause is a dependent clause that provides content implied or commented upon by an independent clause. The term was coined by Danish linguist Otto Jespersen.
main clause
GRAMMATICAL CLAUSE THAT CAN BE A SENTENCE ON ITS OWN
Independent clauses; Main clause; Matrix clause; Principal clause; Main proposition
(main clauses)
N-COUNT
indirect question
CLAUSE ELABORATED BY A MAIN CLAUSE
That-clause; That clause; Declarative content clause; Interrogative content clause; Noun clause; Direct question; Indirect question; Reported question; Speech report
(indirect questions)
An indirect question is the same as a reported question
. (mainly BRIT)
. (mainly BRIT)
N-COUNT
Википедия
Horn clause
In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for use in logic programming, formal specification, and model theory. Horn clauses are named for the logician Alfred Horn, who first pointed out their significance in 1951.
